English Computing Dictionary
◊ ROOT NORMAL FORM
Root Normal Form
(RNF) {Head Normal Form} in {graph rewriting}.